Professor Edmund M. Clarke Visited Suzhou Institute for Advanced Study, USTC
Professor Edmund M. Clarke, recipient of the 2007 Association for Computing Machinery A.M. Turing Award, paid a visit to Suzhou Institute for Advanced Study, USTC. Professor Clarke was given a warm welcome and hospitality when he set foot on the beautiful land of Suzhou. Lasting from October 20th to October Oct.27th, the visit is intended for academic exchange.
Professor Clarke is a well-known computer scientist and academic noted for developing model checking. He received a B.A. degree in mathematics from the University of Virginia in 1967, a M.A. degree in mathematics from Duke University in 1968, and a Ph.D. degree in computer science from Cornell in 1976. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. His research interests include software and hardware verification and automatic theorem proving.
Professor Edmund M. Clarke gave a lecture in the lecture hall of SSE
On October 21st professor Clarke gave an inspiring lecture on model checking and the curse of dimensionality for SSE students. The lecture was highly acclaimed by both SSE students and teachers. The lecture enabled them to have a better understanding of model checking, a method for formally verifying hardware and software designs. Students gained great power from the lecture and internalized the information which would be beneficial to them in their prospective IT career.
By Grace Shi